axiomatic theory - translation to ρωσικά
Diclib.com
Λεξικό ChatGPT
Εισάγετε μια λέξη ή φράση σε οποιαδήποτε γλώσσα 👆
Γλώσσα:

Μετάφραση και ανάλυση λέξεων από την τεχνητή νοημοσύνη ChatGPT

Σε αυτήν τη σελίδα μπορείτε να λάβετε μια λεπτομερή ανάλυση μιας λέξης ή μιας φράσης, η οποία δημιουργήθηκε χρησιμοποιώντας το ChatGPT, την καλύτερη τεχνολογία τεχνητής νοημοσύνης μέχρι σήμερα:

  • πώς χρησιμοποιείται η λέξη
  • συχνότητα χρήσης
  • χρησιμοποιείται πιο συχνά στον προφορικό ή γραπτό λόγο
  • επιλογές μετάφρασης λέξεων
  • παραδείγματα χρήσης (πολλές φράσεις με μετάφραση)
  • ετυμολογία

axiomatic theory - translation to ρωσικά

SET OF AXIOMS FROM WHICH SOME OR ALL AXIOMS CAN BE USED IN CONJUNCTION TO LOGICALLY DERIVE THEOREMS
Axiomatization; Axiomatisation; Axiomatic method; Axiomatic framework; Axiom system; Axiomatic reasoning; Hilbert-style calculi; Axiomatic theory; Axiomatic definition; Axiomatic approach; Axiomatic logic; Axiomatic proof; Axiomatic System

axiomatic theory         

математика

аксиоматическая теория

axiomatic method         

общая лексика

аксиоматический метод

axiomatization         

общая лексика

аксиоматизация

Смотрите также

cumulative throughflow; fractional throughflow

Ορισμός

ИГР ТЕОРИЯ
раздел математики, предметом которого является анализ принятия оптимальных решений в условиях конфликта. Возникнув из задач классической теории вероятностей, теория игр превратилась в самостоятельный раздел в 1945-1955. Таким образом, теория игр - один из новейших разделов математики. Наиболее полное изложение идей и методов теории игр впервые появилось в 1944 в труде Теория игр и экономическое поведение (Theory of Games and Economic Behavior) математика Дж.фон Неймана (1903-1957) и экономиста О.Моргенштерна (1902-1977). Фон Нейман опубликовал несколько работ по теории игр в 1928 и 1935; другим предшественником теории игр по праву считается французский математик Э.Борель (1871-1956). Некоторые фундаментальные идеи были независимо предложены А.Вальдом (1902-1950), заложившим основы нового подхода к статистической теории принятия решений. См. также ВЕРОЯТНОСТЕЙ ТЕОРИЯ
.
Первые приложения теория игр нашла в математической статистике и в решении некоторых возникших во время второй мировой войны военных проблем специального характера. Ее использовали как плодотворный источник теоретических моделей в экономике и социологии. Методы теории игр используются также в теории операций и в линейном программировании.
См. также:

Βικιπαίδεια

Axiomatic system

In mathematics and logic, an axiomatic system is any set of axioms from which some or all axioms can be used in conjunction to logically derive theorems. A theory is a consistent, relatively-self-contained body of knowledge which usually contains an axiomatic system and all its derived theorems. An axiomatic system that is completely described is a special kind of formal system. A formal theory is an axiomatic system (usually formulated within model theory) that describes a set of sentences that is closed under logical implication. A formal proof is a complete rendition of a mathematical proof within a formal system.

Μετάφραση του &#39axiomatic theory&#39 σε Ρωσικά